检索结果

Select

1. 基于梯形逻辑的联锁系统形式化验证方法

于丽贞徐中伟陈祖希张舒青

计算机应用 2013, 33 (12): 3419-3422.

摘要（727）

PDF （748KB）（359）

铁路联锁系统设计通常采用梯形逻辑进行建模。为了实现对铁路联锁系统进行形式化验证的目的，根据梯形逻辑的状态变迁语义，将梯形逻辑表示的联锁系统模型转换成模型检测工具NuSMV的语言，并将铁路联锁系统的安全需求表示为计算树逻辑(CTL)，最后实现基于NuSMV的铁路联锁系统设计模型的形式化验证。

相关文章 | 多维度评价

Select

2. 基于XML的安全苛求系统测试脚本生成研究

何欢徐中伟喻钢杨世玉

计算机应用 2011, 31 (01): 281-285.

摘要（1275）

PDF （687KB）（997）

针对安全苛求系统（SCS）自动化测试中测试脚本规模大、结构复杂、难维护的特点，提出一种基于XML的测试脚本自动生成方法。将XML作为测试脚本语言，使用SED模式设计SCS测试场景，采用FSM对SCS运营场景建模，设计一系列转换生成算法自动生成XML测试脚本，实现了SCS测试脚本自动化生成和验证，并成功应用到高速铁路CTCS-2级列车运行控制系统仿真测试中。

相关文章 | 多维度评价

Select

3. 面向安全评估的高速铁路CTCS-2列控系统安全性测试环境

熊静喻钢徐中伟郦萌

计算机应用 2010, 30 (8): 2181-2184.

摘要（318）

PDF （811KB）（1097）

高速铁路CTCS-2列控系统是典型的安全苛求系统。根据安全苛求系统的特点，针对高速铁路CTCS-2列控系统的安全性测试和评估需求，设计了场景—事件驱动的测试脚本语言SED_TSL，提出了高速铁路CTCS-2列控系统测试环境的功能、系统框架、测试策略，实现了基于SED_TSL的CTCS-2列控系统自动化测试环境，并投入到铁道部的CTCS-2列控系统产品制式检测中，有效地实现了列控系统产品的功能与安全性测试。

相关文章 | 多维度评价

Select

4. 场景—事件驱动的安全苛求软件系统仿真测试脚本语言研究

喻钢徐中伟杜军威

计算机应用 2010, 30 (2): 374-379.

摘要（1269）

PDF （885KB）（1467）

脚本技术是实现软件测试自动化技术的有效方法。软件测试脚本化可以降低测试成本，提高测试效率。测试脚本语言是脚本技术的核心，但是目前没有专门针对安全苛求软件测试的脚本语言。因此结合安全苛求软件测试的特点，提出了场景—事件驱动的针对安全苛求软件仿真测试的通用测试脚本语言SED_SCS_STL, 对该语言的设计以及在测试环境中的实现机制进行了阐述,并将其应用于高速铁路CTCS-2级车站列控中心的软件仿真测试中。

相关文章 | 多维度评价

Select

5. 面向安全需求的安全通信协议测试序列生成算法

李弋强徐中伟喻钢

计算机应用 2009, 29 (07): 1828-1831.

摘要（1265）

PDF （766KB）（1178）

安全苛求系统仿真测试中，安全通信协议测试是重要的组成部分,而完备有效的测试序列生成是安全通信协议测试中的关键。面向安全需求，提出安全因子的定义，通过建立带安全因子的安全EFSM模型，设计了一种新的基于最小安全因子的协议安全性测试序列生成算法，该算法与传统的算法相比具有较高的安全性测试效率，能确保安全性测试的完备性。此方法已成功应用到高速铁路客运专线列车运行控制系统中的安全通信协议仿真测试中。

相关文章 | 多维度评价

Select

6. 构件化安全苛求软件的安全接口策略

刘颖徐中伟

计算机应用

摘要（1673）

PDF （745KB）（1415）

在采用构件化技术的安全苛求软件中，软件的安全性仍旧是首要特性，介绍了多故障模式下的安全接口策略，并将此理论应用在铁路车站计算机联锁软件这种安全苛求软件的开发中，对系统中单个构件定义安全接口，从而为整个软件系统提供了有效的安全性保障。

相关文章 | 多维度评价

Select

7. 面向安全性需求的安全构件模型框架研究

喻钢徐中伟

计算机应用

摘要（1669）

PDF （950KB）（996）

构件理论在软件工程领域正扮演着越来越重要的角色。基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。为了规范化地描述和设计符合安全苛求软件开发需要的构件, 提出了一种形式化的面向安全需求的安全构件(SC)模型框架, 利用故障模式与冗余比较来确保构件模型的安全性, 并将该模型应用于CTCS-2级列车控制中心仿真系统中。

相关文章 | 多维度评价